proof line Obs. Edit